Inference at * 
Iof proof for Lemma inconsistent-bool-eq2:


  (ff = tt)  False 

latex

 by Auto 

latex

 1: 

 1: 1. ff = tt
 1:   False
 .

Definitions	P  Q, P & Q, P  Q, P  Q, Void, , s = t, , ff, tt, t  T, False
Lemmas	bool wf, bfalse wf, btrue wf, false wf